Added searchbox to documentation. This provides the entry point of the documentation search feature. Change-Id: Iea2b707995c0e042829db509927384dcec7aaf43 
diff --git a/Documentation/dev-readme.txt b/Documentation/dev-readme.txt index 728c8dc..d961f70 100644 --- a/Documentation/dev-readme.txt +++ b/Documentation/dev-readme.txt 
@@ -246,3 +246,6 @@  GERRIT  ------  Part of link:index.html[Gerrit Code Review] + +SEARCHBOX +---------